types of operating system in computer science